Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
61	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
62	Book Review “Finite Model Theory and Its Applications”, by Gr¨ adel, Kolaitis, Libkin, Marx, Spencer, Vardi, Venema, and Weinstein, published by Springer-Verlag 2007. Add to Reading List Source URL: www.cs.upc.edu Language: English - Date: 2008-07-15 07:03:22
63	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
64	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-06-26 10:24:04 Complexity classes Finite model theory Logic FO Modal logic HO
65	The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-13 17:07:58 Lattice theory Algebraic structures Power domains Semilattice Free lattice Topos Model theory Finite set FO Mathematics Abstract algebra Algebra
66	PDF Document Add to Reading List Source URL: www.ccitafna.com Language: English - Date: 2013-06-04 06:54:01 PFP FO Finite model theory Anem
67	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
68	A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-09-12 07:18:02 Logic in computer science Model theory Mathematics Automata theory Computer science Theoretical computer science Applied mathematics Bisimulation
69	0042m_DrinksMenu2015.indd Add to Reading List Source URL: www.picazzos.com Language: English - Date: 2015-06-19 15:32:51 Index of agriculture articles FO Finite model theory Polaris Award
70	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2014-09-08 08:04:39 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics

UPDATE